def is_composite(n):
    if n <= 1:
        return False
    if n <= 3:
        return False
    if n % 2 == 0 or n % 3 == 0:
        return True
    i = 5
    # 所有大于3的质数都可以表示为6k±1的形式，只需要检查6k±1的数（即i和i+2）是否为因数
    while i * i < n:
        if n % i == 0 or n % (i + 2) == 0:
            return True
        i += 6
    return False

n = int(input())
if is_composite(n + 1):
    print('Yes')
else:
    print('No')